Security properties and CSP - Security and Privacy, 1996. Proceedings., 1996 IEEE Symposium on

CSP and determinism in security modelling

We show how a variety of confidentiality properties can be expressed in terms of the abstraction mechanisms that CSP provides. We argue that determinism of the abstracted low-security viewpoint provides the best type of property. By changing the form of abstraction mechanism we are able to model different assumptions about how systems behave, including handling the distinction between input and...

The IEEE Symposium on Security and Privacy, in Retrospect

T racing the history of computer security and privacy is a mammoth undertaking, somewhat resembling efforts to combine archaeology and ethnology with a compendium of past and foreseen risks— and how different courses of history might have affected those risks in different ways. (For example, the University of Minnesota’s NSF-funded collection of oral histories from influential people in this ar...

An Enduring Symposium for Leading Research in Security and Privacy

F or 35 years, the IEEE Symposium on Security and Privacy has provided a venue for leading researchers in security and privacy to gather. It continues to be the premier forum for presenting developments in computer security and electronic privacy and for bringing together researchers and practitioners. Th e topics covered at the symposium have varied over the years, yet the work presented has a...

Modelling security properties with CSP

Security properties such as conndentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justiied, the use of a process algebra such as Communicating Sequential Processes (CSP) seems appropriate to describe and analyse them. This paper explores ways in which security properties may be described as CSP speciication...

A Symposium, a Magazine, and a Community